// Copyright 2011 Google Inc. All Rights Reserved.

// This file was generated from .js source files by GYP.  If you
// want to make changes to this file you should either change the
// javascript source files or the GYP script.

#include "src/v8.h"
#include "src/snapshot/natives.h"
#include "src/utils.h"

namespace v8 {
namespace internal {

  static const char sources[] = { 10, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 44, 99, 41, 123,
10, 34, 117, 115, 101, 32, 115, 116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104,
101, 99, 107, 73, 115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110,
103, 40, 41, 59, 10, 118, 97, 114, 32, 100, 61, 40, 118, 111, 105, 100, 32, 48,
41, 59, 10, 118, 97, 114, 32, 101, 61, 37, 69, 120, 112, 111, 114, 116, 70, 114,
111, 109, 82, 117, 110, 116, 105, 109, 101, 40, 123, 125, 41, 59, 10, 102, 117,
110, 99, 116, 105, 111, 110, 32, 69, 120, 112, 111, 114, 116, 40, 102, 41, 123,
10, 102, 40, 101, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110,
32, 73, 109, 112, 111, 114, 116, 40, 102, 41, 123, 10, 102, 46, 110, 101, 120,
116, 61, 100, 59, 10, 100, 61, 102, 59, 10, 125, 10, 102, 117, 110, 99, 116,
105, 111, 110, 32, 73, 109, 112, 111, 114, 116, 78, 111, 119, 40, 103, 41, 123,
10, 114, 101, 116, 117, 114, 110, 32, 101, 91, 103, 93, 59, 10, 125, 10, 102,
117, 110, 99, 116, 105, 111, 110, 32, 73, 110, 115, 116, 97, 108, 108, 67, 111,
110, 115, 116, 97, 110, 116, 115, 40, 104, 44, 105, 41, 123, 10, 37, 67, 104,
101, 99, 107, 73, 115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110,
103, 40, 41, 59, 10, 37, 79, 112, 116, 105, 109, 105, 122, 101, 79, 98, 106,
101, 99, 116, 70, 111, 114, 65, 100, 100, 105, 110, 103, 77, 117, 108, 116, 105,
112, 108, 101, 80, 114, 111, 112, 101, 114, 116, 105, 101, 115, 40, 104, 44,
105, 46, 108, 101, 110, 103, 116, 104, 62, 62, 49, 41, 59, 10, 118, 97, 114, 32,
106, 61, 50, 124, 52, 124, 49, 59, 10, 102, 111, 114, 40, 118, 97, 114, 32, 107,
61, 48, 59, 107, 60, 105, 46, 108, 101, 110, 103, 116, 104, 59, 107, 43, 61, 50,
41, 123, 10, 118, 97, 114, 32, 103, 61, 105, 91, 107, 93, 59, 10, 118, 97, 114,
32, 108, 61, 105, 91, 107, 43, 49, 93, 59, 10, 37, 65, 100, 100, 78, 97, 109,
101, 100, 80, 114, 111, 112, 101, 114, 116, 121, 40, 104, 44, 103, 44, 108, 44,
106, 41, 59, 10, 125, 10, 37, 84, 111, 70, 97, 115, 116, 80, 114, 111, 112, 101,
114, 116, 105, 101, 115, 40, 104, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116,
105, 111, 110, 32, 83, 101, 116, 85, 112, 76, 111, 99, 107, 101, 100, 80, 114,
111, 116, 111, 116, 121, 112, 101, 40, 10, 99, 111, 110, 115, 116, 114, 117, 99,
116, 111, 114, 44, 102, 105, 101, 108, 100, 115, 44, 109, 101, 116, 104, 111,
100, 115, 41, 123, 10, 37, 67, 104, 101, 99, 107, 73, 115, 66, 111, 111, 116,
115, 116, 114, 97, 112, 112, 105, 110, 103, 40, 41, 59, 10, 118, 97, 114, 32,
109, 61, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 46, 112, 114, 111,
116, 111, 116, 121, 112, 101, 59, 10, 118, 97, 114, 32, 110, 61, 40, 109, 101,
116, 104, 111, 100, 115, 46, 108, 101, 110, 103, 116, 104, 62, 62, 49, 41, 43,
40, 102, 105, 101, 108, 100, 115, 63, 102, 105, 101, 108, 100, 115, 46, 108,
101, 110, 103, 116, 104, 58, 48, 41, 59, 10, 105, 102, 40, 110, 62, 61, 52, 41,
123, 10, 37, 79, 112, 116, 105, 109, 105, 122, 101, 79, 98, 106, 101, 99, 116,
70, 111, 114, 65, 100, 100, 105, 110, 103, 77, 117, 108, 116, 105, 112, 108,
101, 80, 114, 111, 112, 101, 114, 116, 105, 101, 115, 40, 109, 44, 110, 41, 59,
10, 125, 10, 105, 102, 40, 102, 105, 101, 108, 100, 115, 41, 123, 10, 102, 111,
114, 40, 118, 97, 114, 32, 107, 61, 48, 59, 107, 60, 102, 105, 101, 108, 100,
115, 46, 108, 101, 110, 103, 116, 104, 59, 107, 43, 43, 41, 123, 10, 37, 65,
100, 100, 78, 97, 109, 101, 100, 80, 114, 111, 112, 101, 114, 116, 121, 40, 109,
44, 102, 105, 101, 108, 100, 115, 91, 107, 93, 44, 10, 40, 118, 111, 105, 100,
32, 48, 41, 44, 50, 124, 52, 41, 59, 10, 125, 10, 125, 10, 102, 111, 114, 40,
118, 97, 114, 32, 107, 61, 48, 59, 107, 60, 109, 101, 116, 104, 111, 100, 115,
46, 108, 101, 110, 103, 116, 104, 59, 107, 43, 61, 50, 41, 123, 10, 118, 97,
114, 32, 111, 61, 109, 101, 116, 104, 111, 100, 115, 91, 107, 93, 59, 10, 118,
97, 114, 32, 102, 61, 109, 101, 116, 104, 111, 100, 115, 91, 107, 43, 49, 93,
59, 10, 37, 65, 100, 100, 78, 97, 109, 101, 100, 80, 114, 111, 112, 101, 114,
116, 121, 40, 109, 44, 111, 44, 102, 44, 50, 124, 52, 124, 49, 41, 59, 10, 37,
83, 101, 116, 78, 97, 116, 105, 118, 101, 70, 108, 97, 103, 40, 102, 41, 59, 10,
125, 10, 37, 73, 110, 116, 101, 114, 110, 97, 108, 83, 101, 116, 80, 114, 111,
116, 111, 116, 121, 112, 101, 40, 109, 44, 110, 117, 108, 108, 41, 59, 10, 37,
84, 111, 70, 97, 115, 116, 80, 114, 111, 112, 101, 114, 116, 105, 101, 115, 40,
109, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 80, 111,
115, 116, 78, 97, 116, 105, 118, 101, 115, 40, 98, 41, 123, 10, 37, 67, 104,
101, 99, 107, 73, 115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110,
103, 40, 41, 59, 10, 102, 111, 114, 40, 59, 33, 40, 100, 61, 61, 61, 40, 118,
111, 105, 100, 32, 48, 41, 41, 59, 100, 61, 100, 46, 110, 101, 120, 116, 41,
123, 10, 100, 40, 101, 41, 59, 10, 125, 10, 101, 61, 40, 118, 111, 105, 100, 32,
48, 41, 59, 10, 98, 46, 69, 120, 112, 111, 114, 116, 61, 40, 118, 111, 105, 100,
32, 48, 41, 59, 10, 98, 46, 73, 109, 112, 111, 114, 116, 61, 40, 118, 111, 105,
100, 32, 48, 41, 59, 10, 98, 46, 73, 109, 112, 111, 114, 116, 78, 111, 119, 61,
40, 118, 111, 105, 100, 32, 48, 41, 59, 10, 98, 46, 80, 111, 115, 116, 78, 97,
116, 105, 118, 101, 115, 61, 40, 118, 111, 105, 100, 32, 48, 41, 59, 10, 125,
10, 37, 79, 112, 116, 105, 109, 105, 122, 101, 79, 98, 106, 101, 99, 116, 70,
111, 114, 65, 100, 100, 105, 110, 103, 77, 117, 108, 116, 105, 112, 108, 101,
80, 114, 111, 112, 101, 114, 116, 105, 101, 115, 40, 98, 44, 49, 52, 41, 59, 10,
98, 46, 73, 109, 112, 111, 114, 116, 61, 73, 109, 112, 111, 114, 116, 59, 10,
98, 46, 73, 109, 112, 111, 114, 116, 78, 111, 119, 61, 73, 109, 112, 111, 114,
116, 78, 111, 119, 59, 10, 98, 46, 69, 120, 112, 111, 114, 116, 61, 69, 120,
112, 111, 114, 116, 59, 10, 98, 46, 73, 110, 115, 116, 97, 108, 108, 67, 111,
110, 115, 116, 97, 110, 116, 115, 61, 73, 110, 115, 116, 97, 108, 108, 67, 111,
110, 115, 116, 97, 110, 116, 115, 59, 10, 98, 46, 83, 101, 116, 85, 112, 76,
111, 99, 107, 101, 100, 80, 114, 111, 116, 111, 116, 121, 112, 101, 61, 83, 101,
116, 85, 112, 76, 111, 99, 107, 101, 100, 80, 114, 111, 116, 111, 116, 121, 112,
101, 59, 10, 98, 46, 80, 111, 115, 116, 78, 97, 116, 105, 118, 101, 115, 61, 80,
111, 115, 116, 78, 97, 116, 105, 118, 101, 115, 59, 10, 37, 84, 111, 70, 97,
115, 116, 80, 114, 111, 112, 101, 114, 116, 105, 101, 115, 40, 98, 41, 59, 10,
37, 79, 112, 116, 105, 109, 105, 122, 101, 79, 98, 106, 101, 99, 116, 70, 111,
114, 65, 100, 100, 105, 110, 103, 77, 117, 108, 116, 105, 112, 108, 101, 80,
114, 111, 112, 101, 114, 116, 105, 101, 115, 40, 99, 44, 49, 49, 41, 59, 10, 99,
46, 108, 111, 103, 83, 116, 97, 99, 107, 84, 114, 97, 99, 101, 61, 102, 117,
110, 99, 116, 105, 111, 110, 32, 108, 111, 103, 83, 116, 97, 99, 107, 84, 114,
97, 99, 101, 40, 41, 123, 10, 37, 68, 101, 98, 117, 103, 84, 114, 97, 99, 101,
40, 41, 59, 10, 125, 59, 10, 99, 46, 108, 111, 103, 61, 102, 117, 110, 99, 116,
105, 111, 110, 32, 108, 111, 103, 40, 41, 123, 10, 108, 101, 116, 32, 109, 101,
115, 115, 97, 103, 101, 61, 39, 39, 59, 10, 102, 111, 114, 40, 99, 111, 110,
115, 116, 32, 97, 114, 103, 32, 111, 102, 32, 97, 114, 103, 117, 109, 101, 110,
116, 115, 41, 123, 10, 109, 101, 115, 115, 97, 103, 101, 43, 61, 97, 114, 103,
59, 10, 125, 10, 37, 71, 108, 111, 98, 97, 108, 80, 114, 105, 110, 116, 40, 109,
101, 115, 115, 97, 103, 101, 41, 59, 10, 125, 59, 10, 99, 46, 99, 114, 101, 97,
116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 61, 102,
117, 110, 99, 116, 105, 111, 110, 32, 99, 114, 101, 97, 116, 101, 80, 114, 105,
118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 103, 41, 123, 10, 114, 101,
116, 117, 114, 110, 32, 37, 67, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97,
116, 101, 83, 121, 109, 98, 111, 108, 40, 103, 41, 59, 10, 125, 59, 10, 99, 46,
117, 110, 99, 117, 114, 114, 121, 84, 104, 105, 115, 61, 102, 117, 110, 99, 116,
105, 111, 110, 32, 117, 110, 99, 117, 114, 114, 121, 84, 104, 105, 115, 40, 112,
41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 102, 117, 110, 99, 116, 105, 111,
110, 40, 116, 104, 105, 115, 65, 114, 103, 44, 46, 46, 46, 97, 114, 103, 115,
41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 37, 114, 101, 102, 108, 101, 99,
116, 95, 97, 112, 112, 108, 121, 40, 112, 44, 116, 104, 105, 115, 65, 114, 103,
44, 97, 114, 103, 115, 41, 59, 10, 125, 59, 10, 125, 59, 10, 99, 46, 109, 97,
114, 107, 80, 114, 111, 109, 105, 115, 101, 65, 115, 72, 97, 110, 100, 108, 101,
100, 61, 102, 117, 110, 99, 116, 105, 111, 110, 32, 109, 97, 114, 107, 80, 114,
111, 109, 105, 115, 101, 65, 115, 72, 97, 110, 100, 108, 101, 100, 40, 113, 41,
123, 10, 37, 80, 114, 111, 109, 105, 115, 101, 77, 97, 114, 107, 65, 115, 72,
97, 110, 100, 108, 101, 100, 40, 113, 41, 59, 10, 125, 59, 10, 99, 46, 112, 114,
111, 109, 105, 115, 101, 83, 116, 97, 116, 101, 61, 102, 117, 110, 99, 116, 105,
111, 110, 32, 112, 114, 111, 109, 105, 115, 101, 83, 116, 97, 116, 101, 40, 113,
41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 37, 80, 114, 111, 109, 105, 115,
101, 83, 116, 97, 116, 117, 115, 40, 113, 41, 59, 10, 125, 59, 10, 99, 46, 107,
80, 82, 79, 77, 73, 83, 69, 95, 80, 69, 78, 68, 73, 78, 71, 61, 48, 59, 10, 99,
46, 107, 80, 82, 79, 77, 73, 83, 69, 95, 70, 85, 76, 70, 73, 76, 76, 69, 68, 61,
49, 59, 10, 99, 46, 107, 80, 82, 79, 77, 73, 83, 69, 95, 82, 69, 74, 69, 67, 84,
69, 68, 61, 50, 59, 10, 37, 84, 111, 70, 97, 115, 116, 80, 114, 111, 112, 101,
114, 116, 105, 101, 115, 40, 99, 41, 59, 10, 125, 41, 10, 10, 10, 40, 102, 117,
110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 44, 99, 41, 123, 10, 34, 117, 115,
101, 32, 115, 116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104, 101, 99, 107, 73,
115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103, 40, 41, 59,
10, 118, 97, 114, 32, 100, 61, 97, 46, 65, 114, 114, 97, 121, 59, 10, 118, 97,
114, 32, 101, 61, 98, 46, 73, 110, 116, 101, 114, 110, 97, 108, 65, 114, 114,
97, 121, 59, 10, 118, 97, 114, 32, 102, 61, 97, 46, 79, 98, 106, 101, 99, 116,
46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 116, 111, 83, 116, 114,
105, 110, 103, 59, 10, 118, 97, 114, 32, 103, 61, 98, 46, 73, 109, 112, 111,
114, 116, 78, 111, 119, 40, 34, 105, 116, 101, 114, 97, 116, 111, 114, 95, 115,
121, 109, 98, 111, 108, 34, 41, 59, 10, 118, 97, 114, 32, 104, 61, 98, 46, 73,
109, 112, 111, 114, 116, 78, 111, 119, 40, 34, 117, 110, 115, 99, 111, 112, 97,
98, 108, 101, 115, 95, 115, 121, 109, 98, 111, 108, 34, 41, 59, 10, 102, 117,
110, 99, 116, 105, 111, 110, 32, 65, 114, 114, 97, 121, 83, 112, 101, 99, 105,
101, 115, 67, 114, 101, 97, 116, 101, 40, 105, 44, 106, 41, 123, 10, 106, 61,
40, 40, 106, 41, 43, 48, 41, 10, 59, 10, 118, 97, 114, 32, 107, 61, 37, 65, 114,
114, 97, 121, 83, 112, 101, 99, 105, 101, 115, 67, 111, 110, 115, 116, 114, 117,
99, 116, 111, 114, 40, 105, 41, 59, 10, 114, 101, 116, 117, 114, 110, 32, 110,
101, 119, 32, 107, 40, 106, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105,
111, 110, 32, 75, 101, 121, 83, 111, 114, 116, 67, 111, 109, 112, 97, 114, 101,
40, 108, 44, 109, 41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 108, 45, 109,
59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 71, 101, 116, 83,
111, 114, 116, 101, 100, 65, 114, 114, 97, 121, 75, 101, 121, 115, 40, 105, 44,
110, 41, 123, 10, 105, 102, 40, 40, 116, 121, 112, 101, 111, 102, 40, 110, 41,
61, 61, 61, 39, 110, 117, 109, 98, 101, 114, 39, 41, 41, 123, 10, 118, 97, 114,
32, 111, 61, 110, 59, 10, 118, 97, 114, 32, 112, 61, 110, 101, 119, 32, 101, 40,
41, 59, 10, 102, 111, 114, 40, 118, 97, 114, 32, 113, 61, 48, 59, 113, 60, 111,
59, 43, 43, 113, 41, 123, 10, 118, 97, 114, 32, 114, 61, 105, 91, 113, 93, 59,
10, 105, 102, 40, 33, 40, 114, 61, 61, 61, 40, 118, 111, 105, 100, 32, 48, 41,
41, 124, 124, 113, 32, 105, 110, 32, 105, 41, 123, 10, 112, 46, 112, 117, 115,
104, 40, 113, 41, 59, 10, 125, 10, 125, 10, 114, 101, 116, 117, 114, 110, 32,
112, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110, 32, 73, 110, 110, 101, 114,
65, 114, 114, 97, 121, 83, 111, 114, 116, 40, 110, 44, 110, 46, 108, 101, 110,
103, 116, 104, 44, 75, 101, 121, 83, 111, 114, 116, 67, 111, 109, 112, 97, 114,
101, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 83, 112,
97, 114, 115, 101, 74, 111, 105, 110, 87, 105, 116, 104, 83, 101, 112, 97, 114,
97, 116, 111, 114, 74, 83, 40, 10, 105, 44, 112, 44, 106, 44, 117, 115, 101, 95,
108, 111, 99, 97, 108, 101, 44, 115, 101, 112, 97, 114, 97, 116, 111, 114, 44,
108, 111, 99, 97, 108, 101, 115, 44, 111, 112, 116, 105, 111, 110, 115, 41, 123,
10, 118, 97, 114, 32, 115, 61, 112, 46, 108, 101, 110, 103, 116, 104, 59, 10,
118, 97, 114, 32, 116, 61, 110, 101, 119, 32, 101, 40, 115, 42, 50, 41, 59, 10,
102, 111, 114, 40, 118, 97, 114, 32, 113, 61, 48, 59, 113, 60, 115, 59, 113, 43,
43, 41, 123, 10, 118, 97, 114, 32, 117, 61, 112, 91, 113, 93, 59, 10, 116, 91,
113, 42, 50, 93, 61, 117, 59, 10, 116, 91, 113, 42, 50, 43, 49, 93, 61, 67, 111,
110, 118, 101, 114, 116, 84, 111, 83, 116, 114, 105, 110, 103, 40, 10, 117, 115,
101, 95, 108, 111, 99, 97, 108, 101, 44, 105, 91, 117, 93, 44, 108, 111, 99, 97,
108, 101, 115, 44, 111, 112, 116, 105, 111, 110, 115, 41, 59, 10, 125, 10, 114,
101, 116, 117, 114, 110, 32, 37, 83, 112, 97, 114, 115, 101, 74, 111, 105, 110,
87, 105, 116, 104, 83, 101, 112, 97, 114, 97, 116, 111, 114, 40, 116, 44, 106,
44, 115, 101, 112, 97, 114, 97, 116, 111, 114, 41, 59, 10, 125, 10, 102, 117,
110, 99, 116, 105, 111, 110, 32, 83, 112, 97, 114, 115, 101, 74, 111, 105, 110,
40, 105, 44, 112, 44, 118, 44, 119, 44, 120, 41, 123, 10, 118, 97, 114, 32, 115,
61, 112, 46, 108, 101, 110, 103, 116, 104, 59, 10, 118, 97, 114, 32, 116, 61,
110, 101, 119, 32, 101, 40, 115, 41, 59, 10, 102, 111, 114, 40, 118, 97, 114,
32, 113, 61, 48, 59, 113, 60, 115, 59, 113, 43, 43, 41, 123, 10, 116, 91, 113,
93, 61, 67, 111, 110, 118, 101, 114, 116, 84, 111, 83, 116, 114, 105, 110, 103,
40, 118, 44, 105, 91, 112, 91, 113, 93, 93, 44, 119, 44, 120, 41, 59, 10, 125,
10, 114, 101, 116, 117, 114, 110, 32, 37, 83, 116, 114, 105, 110, 103, 66, 117,
105, 108, 100, 101, 114, 67, 111, 110, 99, 97, 116, 40, 116, 44, 115, 44, 39,
39, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 85, 115,
101, 83, 112, 97, 114, 115, 101, 86, 97, 114, 105, 97, 110, 116, 40, 105, 44,
106, 44, 121, 44, 122, 41, 123, 10, 105, 102, 40, 33, 121, 124, 124, 106, 60,
49, 48, 48, 48, 124, 124, 37, 72, 97, 115, 67, 111, 109, 112, 108, 101, 120, 69,
108, 101, 109, 101, 110, 116, 115, 40, 105, 41, 41, 123, 10, 114, 101, 116, 117,
114, 110, 32, 102, 97, 108, 115, 101, 59, 10, 125, 10, 105, 102, 40, 33, 37, 95,
73, 115, 83, 109, 105, 40, 106, 41, 41, 123, 10, 114, 101, 116, 117, 114, 110,
32, 116, 114, 117, 101, 59, 10, 125, 10, 118, 97, 114, 32, 65, 61, 106, 62, 62,
50, 59, 10, 118, 97, 114, 32, 66, 61, 37, 69, 115, 116, 105, 109, 97, 116, 101,
78, 117, 109, 98, 101, 114, 79, 102, 69, 108, 101, 109, 101, 110, 116, 115, 40,
105, 41, 59, 10, 114, 101, 116, 117, 114, 110, 40, 66, 60, 65, 41, 38, 38, 10,
40, 122, 62, 66, 42, 52, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111,
110, 32, 83, 116, 97, 99, 107, 40, 41, 123, 10, 116, 104, 105, 115, 46, 108,
101, 110, 103, 116, 104, 61, 48, 59, 10, 116, 104, 105, 115, 46, 118, 97, 108,
117, 101, 115, 61, 110, 101, 119, 32, 101, 40, 41, 59, 10, 125, 10, 83, 116, 97,
99, 107, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 108, 101, 110,
103, 116, 104, 61, 110, 117, 108, 108, 59, 10, 83, 116, 97, 99, 107, 46, 112,
114, 111, 116, 111, 116, 121, 112, 101, 46, 118, 97, 108, 117, 101, 115, 61,
110, 117, 108, 108, 59, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 83, 116,
97, 99, 107, 80, 117, 115, 104, 40, 67, 44, 68, 41, 123, 10, 67, 46, 118, 97,
108, 117, 101, 115, 91, 67, 46, 108, 101, 110, 103, 116, 104, 43, 43, 93, 61,
68, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 83, 116, 97, 99,
107, 80, 111, 112, 40, 67, 41, 123, 10, 67, 46, 118, 97, 108, 117, 101, 115, 91,
45, 45, 67, 46, 108, 101, 110, 103, 116, 104, 93, 61, 110, 117, 108, 108, 10,
125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 83, 116, 97, 99, 107, 72,
97, 115, 40, 67, 44, 69, 41, 123, 10, 118, 97, 114, 32, 106, 61, 67, 46, 108,
101, 110, 103, 116, 104, 59, 10, 118, 97, 114, 32, 70, 61, 67, 46, 118, 97, 108,
117, 101, 115, 59, 10, 102, 111, 114, 40, 118, 97, 114, 32, 113, 61, 48, 59,
113, 60, 106, 59, 113, 43, 43, 41, 123, 10, 105, 102, 40, 70, 91, 113, 93, 61,
61, 61, 69, 41, 114, 101, 116, 117, 114, 110, 32, 116, 114, 117, 101, 59, 10,
125, 10, 114, 101, 116, 117, 114, 110, 32, 102, 97, 108, 115, 101, 59, 10, 125,
10, 118, 97, 114, 32, 71, 61, 110, 101, 119, 32, 83, 116, 97, 99, 107, 40, 41,
59, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 68, 111, 74, 111, 105, 110,
40, 10, 105, 44, 106, 44, 121, 44, 115, 101, 112, 97, 114, 97, 116, 111, 114,
44, 118, 44, 119, 44, 120, 41, 123, 10, 105, 102, 40, 85, 115, 101, 83, 112, 97,
114, 115, 101, 86, 97, 114, 105, 97, 110, 116, 40, 105, 44, 106, 44, 121, 44,
106, 41, 41, 123, 10, 37, 78, 111, 114, 109, 97, 108, 105, 122, 101, 69, 108,
101, 109, 101, 110, 116, 115, 40, 105, 41, 59, 10, 118, 97, 114, 32, 112, 61,
71, 101, 116, 83, 111, 114, 116, 101, 100, 65, 114, 114, 97, 121, 75, 101, 121,
115, 40, 105, 44, 37, 71, 101, 116, 65, 114, 114, 97, 121, 75, 101, 121, 115,
40, 105, 44, 106, 41, 41, 59, 10, 105, 102, 40, 115, 101, 112, 97, 114, 97, 116,
111, 114, 61, 61, 61, 39, 39, 41, 123, 10, 105, 102, 40, 112, 46, 108, 101, 110,
103, 116, 104, 61, 61, 61, 48, 41, 114, 101, 116, 117, 114, 110, 39, 39, 59, 10,
114, 101, 116, 117, 114, 110, 32, 83, 112, 97, 114, 115, 101, 74, 111, 105, 110,
40, 105, 44, 112, 44, 118, 44, 119, 44, 120, 41, 59, 10, 125, 101, 108, 115,
101, 123, 10, 114, 101, 116, 117, 114, 110, 32, 83, 112, 97, 114, 115, 101, 74,
111, 105, 110, 87, 105, 116, 104, 83, 101, 112, 97, 114, 97, 116, 111, 114, 74,
83, 40, 10, 105, 44, 112, 44, 106, 44, 118, 44, 115, 101, 112, 97, 114, 97, 116,
111, 114, 44, 119, 44, 120, 41, 59, 10, 125, 10, 125, 10, 105, 102, 40, 106, 61,
61, 61, 49, 41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 67, 111, 110, 118,
101, 114, 116, 84, 111, 83, 116, 114, 105, 110, 103, 40, 118, 44, 105, 91, 48,
93, 44, 119, 44, 120, 41, 59, 10, 125, 10, 118, 97, 114, 32, 116, 61, 110, 101,
119, 32, 101, 40, 106, 41, 59, 10, 102, 111, 114, 40, 118, 97, 114, 32, 113, 61,
48, 59, 113, 60, 106, 59, 113, 43, 43, 41, 123, 10, 116, 91, 113, 93, 61, 67,
111, 110, 118, 101, 114, 116, 84, 111, 83, 116, 114, 105, 110, 103, 40, 118, 44,
105, 91, 113, 93, 44, 119, 44, 120, 41, 59, 10, 125, 10, 105, 102, 40, 115, 101,
112, 97, 114, 97, 116, 111, 114, 61, 61, 61, 39, 39, 41, 123, 10, 114, 101, 116,
117, 114, 110, 32, 37, 83, 116, 114, 105, 110, 103, 66, 117, 105, 108, 100, 101,
114, 67, 111, 110, 99, 97, 116, 40, 116, 44, 106, 44, 39, 39, 41, 59, 10, 125,
101, 108, 115, 101, 123, 10, 114, 101, 116, 117, 114, 110, 32, 37, 83, 116, 114,
105, 110, 103, 66, 117, 105, 108, 100, 101, 114, 74, 111, 105, 110, 40, 116, 44,
106, 44, 115, 101, 112, 97, 114, 97, 116, 111, 114, 41, 59, 10, 125, 10, 125,
10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 74, 111, 105, 110, 40, 105, 44,
106, 44, 72, 44, 118, 44, 119, 44, 120, 41, 123, 10, 105, 102, 40, 106, 61, 61,
61, 48, 41, 114, 101, 116, 117, 114, 110, 39, 39, 59, 10, 118, 97, 114, 32, 121,
61, 40, 37, 95, 73, 115, 65, 114, 114, 97, 121, 40, 105, 41, 41, 59, 10, 105,
102, 40, 121, 41, 123, 10, 105, 102, 40, 83, 116, 97, 99, 107, 72, 97, 115, 40,
71, 44, 105, 41, 41, 114, 101, 116, 117, 114, 110, 39, 39, 59, 10, 83, 116, 97,
99, 107, 80, 117, 115, 104, 40, 71, 44, 105, 41, 59, 10, 125, 10, 116, 114, 121,
123, 10, 114, 101, 116, 117, 114, 110, 32, 68, 111, 74, 111, 105, 110, 40, 10,
105, 44, 106, 44, 121, 44, 72, 44, 118, 44, 119, 44, 120, 41, 59, 10, 125, 102,
105, 110, 97, 108, 108, 121, 123, 10, 105, 102, 40, 121, 41, 83, 116, 97, 99,
107, 80, 111, 112, 40, 71, 41, 59, 10, 125, 10, 125, 10, 102, 117, 110, 99, 116,
105, 111, 110, 32, 67, 111, 110, 118, 101, 114, 116, 84, 111, 83, 116, 114, 105,
110, 103, 40, 118, 44, 73, 44, 119, 44, 120, 41, 123, 10, 105, 102, 40, 40, 73,
61, 61, 110, 117, 108, 108, 41, 41, 114, 101, 116, 117, 114, 110, 39, 39, 59,
10, 105, 102, 40, 118, 41, 123, 10, 105, 102, 40, 40, 119, 61, 61, 110, 117,
108, 108, 41, 41, 123, 10, 114, 101, 116, 117, 114, 110, 40, 37, 95, 84, 111,
83, 116, 114, 105, 110, 103, 40, 73, 46, 116, 111, 76, 111, 99, 97, 108, 101,
83, 116, 114, 105, 110, 103, 40, 41, 41, 41, 59, 10, 125, 101, 108, 115, 101,
32, 105, 102, 40, 40, 120, 61, 61, 110, 117, 108, 108, 41, 41, 123, 10, 114,
101, 116, 117, 114, 110, 40, 37, 95, 84, 111, 83, 116, 114, 105, 110, 103, 40,
73, 46, 116, 111, 76, 111, 99, 97, 108, 101, 83, 116, 114, 105, 110, 103, 40,
119, 41, 41, 41, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110, 40, 37, 95, 84,
111, 83, 116, 114, 105, 110, 103, 40, 73, 46, 116, 111, 76, 111, 99, 97, 108,
101, 83, 116, 114, 105, 110, 103, 40, 119, 44, 120, 41, 41, 41, 59, 10, 125, 10,
114, 101, 116, 117, 114, 110, 40, 37, 95, 84, 111, 83, 116, 114, 105, 110, 103,
40, 73, 41, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73,
110, 110, 101, 114, 65, 114, 114, 97, 121, 84, 111, 76, 111, 99, 97, 108, 101,
83, 116, 114, 105, 110, 103, 40, 105, 44, 106, 44, 119, 44, 120, 41, 123, 10,
114, 101, 116, 117, 114, 110, 32, 74, 111, 105, 110, 40, 105, 44, 40, 37, 95,
84, 111, 76, 101, 110, 103, 116, 104, 40, 106, 41, 41, 44, 39, 44, 39, 44, 116,
114, 117, 101, 44, 119, 44, 120, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116,
105, 111, 110, 32, 73, 110, 110, 101, 114, 65, 114, 114, 97, 121, 74, 111, 105,
110, 40, 72, 44, 105, 44, 106, 41, 123, 10, 105, 102, 40, 40, 72, 61, 61, 61,
40, 118, 111, 105, 100, 32, 48, 41, 41, 41, 123, 10, 72, 61, 39, 44, 39, 59, 10,
125, 101, 108, 115, 101, 123, 10, 72, 61, 40, 37, 95, 84, 111, 83, 116, 114,
105, 110, 103, 40, 72, 41, 41, 59, 10, 125, 10, 105, 102, 40, 106, 61, 61, 61,
49, 41, 123, 10, 118, 97, 114, 32, 114, 61, 105, 91, 48, 93, 59, 10, 105, 102,
40, 40, 114, 61, 61, 110, 117, 108, 108, 41, 41, 114, 101, 116, 117, 114, 110,
39, 39, 59, 10, 114, 101, 116, 117, 114, 110, 40, 37, 95, 84, 111, 83, 116, 114,
105, 110, 103, 40, 114, 41, 41, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110,
32, 74, 111, 105, 110, 40, 105, 44, 106, 44, 72, 44, 102, 97, 108, 115, 101, 41,
59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 65, 114, 114, 97,
121, 83, 108, 105, 99, 101, 70, 97, 108, 108, 98, 97, 99, 107, 40, 74, 44, 75,
41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 110, 117, 108, 108, 59, 10, 125,
10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 110, 110, 101, 114, 65, 114,
114, 97, 121, 83, 111, 114, 116, 40, 105, 44, 106, 44, 76, 41, 123, 10, 105,
102, 40, 33, 40, 116, 121, 112, 101, 111, 102, 40, 76, 41, 61, 61, 61, 39, 102,
117, 110, 99, 116, 105, 111, 110, 39, 41, 41, 123, 10, 76, 61, 102, 117, 110,
99, 116, 105, 111, 110, 40, 73, 44, 77, 41, 123, 10, 105, 102, 40, 73, 61, 61,
61, 77, 41, 114, 101, 116, 117, 114, 110, 32, 48, 59, 10, 105, 102, 40, 37, 95,
73, 115, 83, 109, 105, 40, 73, 41, 38, 38, 37, 95, 73, 115, 83, 109, 105, 40,
77, 41, 41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 37, 83, 109, 105, 76,
101, 120, 105, 99, 111, 103, 114, 97, 112, 104, 105, 99, 67, 111, 109, 112, 97,
114, 101, 40, 73, 44, 77, 41, 59, 10, 125, 10, 73, 61, 40, 37, 95, 84, 111, 83,
116, 114, 105, 110, 103, 40, 73, 41, 41, 59, 10, 77, 61, 40, 37, 95, 84, 111,
83, 116, 114, 105, 110, 103, 40, 77, 41, 41, 59, 10, 105, 102, 40, 73, 61, 61,
77, 41, 114, 101, 116, 117, 114, 110, 32, 48, 59, 10, 101, 108, 115, 101, 32,
114, 101, 116, 117, 114, 110, 32, 73, 60, 77, 63, 45, 49, 58, 49, 59, 10, 125,
59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 110, 115, 101,
114, 116, 105, 111, 110, 83, 111, 114, 116, 40, 108, 44, 78, 44, 79, 41, 123,
10, 102, 111, 114, 40, 118, 97, 114, 32, 113, 61, 78, 43, 49, 59, 113, 60, 79,
59, 113, 43, 43, 41, 123, 10, 118, 97, 114, 32, 80, 61, 108, 91, 113, 93, 59,
10, 102, 111, 114, 40, 118, 97, 114, 32, 81, 61, 113, 45, 49, 59, 81, 62, 61,
78, 59, 81, 45, 45, 41, 123, 10, 118, 97, 114, 32, 82, 61, 108, 91, 81, 93, 59,
10, 118, 97, 114, 32, 83, 61, 76, 40, 82, 44, 80, 41, 59, 10, 105, 102, 40, 83,
62, 48, 41, 123, 10, 108, 91, 81, 43, 49, 93, 61, 82, 59, 10, 125, 101, 108,
115, 101, 123, 10, 98, 114, 101, 97, 107, 59, 10, 125, 10, 125, 10, 108, 91, 81,
43, 49, 93, 61, 80, 59, 10, 125, 10, 125, 59, 10, 102, 117, 110, 99, 116, 105,
111, 110, 32, 71, 101, 116, 84, 104, 105, 114, 100, 73, 110, 100, 101, 120, 40,
108, 44, 78, 44, 79, 41, 123, 10, 118, 97, 114, 32, 84, 61, 110, 101, 119, 32,
101, 40, 41, 59, 10, 118, 97, 114, 32, 85, 61, 50, 48, 48, 43, 40, 40, 79, 45,
78, 41, 38, 49, 53, 41, 59, 10, 118, 97, 114, 32, 81, 61, 48, 59, 10, 78, 43,
61, 49, 59, 10, 79, 45, 61, 49, 59, 10, 102, 111, 114, 40, 118, 97, 114, 32,
113, 61, 78, 59, 113, 60, 79, 59, 113, 43, 61, 85, 41, 123, 10, 84, 91, 81, 93,
61, 91, 113, 44, 108, 91, 113, 93, 93, 59, 10, 81, 43, 43, 59, 10, 125, 10, 84,
46, 115, 111, 114, 116, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 108, 44,
109, 41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 76, 40, 108, 91, 49, 93, 44,
109, 91, 49, 93, 41, 59, 10, 125, 41, 59, 10, 118, 97, 114, 32, 86, 61, 84, 91,
84, 46, 108, 101, 110, 103, 116, 104, 62, 62, 49, 93, 91, 48, 93, 59, 10, 114,
101, 116, 117, 114, 110, 32, 86, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105,
111, 110, 32, 81, 117, 105, 99, 107, 83, 111, 114, 116, 40, 108, 44, 78, 44, 79,
41, 123, 10, 118, 97, 114, 32, 86, 61, 48, 59, 10, 119, 104, 105, 108, 101, 40,
116, 114, 117, 101, 41, 123, 10, 105, 102, 40, 79, 45, 78, 60, 61, 49, 48, 41,
123, 10, 73, 110, 115, 101, 114, 116, 105, 111, 110, 83, 111, 114, 116, 40, 108,
44, 78, 44, 79, 41, 59, 10, 114, 101, 116, 117, 114, 110, 59, 10, 125, 10, 105,
102, 40, 79, 45, 78, 62, 49, 48, 48, 48, 41, 123, 10, 86, 61, 71, 101, 116, 84,
104, 105, 114, 100, 73, 110, 100, 101, 120, 40, 108, 44, 78, 44, 79, 41, 59, 10,
125, 101, 108, 115, 101, 123, 10, 86, 61, 78, 43, 40, 40, 79, 45, 78, 41, 62,
62, 49, 41, 59, 10, 125, 10, 118, 97, 114, 32, 87, 61, 108, 91, 78, 93, 59, 10,
118, 97, 114, 32, 88, 61, 108, 91, 79, 45, 49, 93, 59, 10, 118, 97, 114, 32, 89,
61, 108, 91, 86, 93, 59, 10, 118, 97, 114, 32, 90, 61, 76, 40, 87, 44, 88, 41,
59, 10, 105, 102, 40, 90, 62, 48, 41, 123, 10, 118, 97, 114, 32, 82, 61, 87, 59,
10, 87, 61, 88, 59, 10, 88, 61, 82, 59, 10, 125, 10, 118, 97, 114, 32, 97, 97,
61, 76, 40, 87, 44, 89, 41, 59, 10, 105, 102, 40, 97, 97, 62, 61, 48, 41, 123,
10, 118, 97, 114, 32, 82, 61, 87, 59, 10, 87, 61, 89, 59, 10, 89, 61, 88, 59,
10, 88, 61, 82, 59, 10, 125, 101, 108, 115, 101, 123, 10, 118, 97, 114, 32, 97,
98, 61, 76, 40, 88, 44, 89, 41, 59, 10, 105, 102, 40, 97, 98, 62, 48, 41, 123,
10, 118, 97, 114, 32, 82, 61, 88, 59, 10, 88, 61, 89, 59, 10, 89, 61, 82, 59,
10, 125, 10, 125, 10, 108, 91, 78, 93, 61, 87, 59, 10, 108, 91, 79, 45, 49, 93,
61, 89, 59, 10, 118, 97, 114, 32, 97, 99, 61, 88, 59, 10, 118, 97, 114, 32, 97,
100, 61, 78, 43, 49, 59, 10, 118, 97, 114, 32, 97, 101, 61, 79, 45, 49, 59, 10,
108, 91, 86, 93, 61, 108, 91, 97, 100, 93, 59, 10, 108, 91, 97, 100, 93, 61, 97,
99, 59, 10, 112, 97, 114, 116, 105, 116, 105, 111, 110, 58, 102, 111, 114, 40,
118, 97, 114, 32, 113, 61, 97, 100, 43, 49, 59, 113, 60, 97, 101, 59, 113, 43,
43, 41, 123, 10, 118, 97, 114, 32, 80, 61, 108, 91, 113, 93, 59, 10, 118, 97,
114, 32, 83, 61, 76, 40, 80, 44, 97, 99, 41, 59, 10, 105, 102, 40, 83, 60, 48,
41, 123, 10, 108, 91, 113, 93, 61, 108, 91, 97, 100, 93, 59, 10, 108, 91, 97,
100, 93, 61, 80, 59, 10, 97, 100, 43, 43, 59, 10, 125, 101, 108, 115, 101, 32,
105, 102, 40, 83, 62, 48, 41, 123, 10, 100, 111, 123, 10, 97, 101, 45, 45, 59,
10, 105, 102, 40, 97, 101, 61, 61, 113, 41, 98, 114, 101, 97, 107, 32, 112, 97,
114, 116, 105, 116, 105, 111, 110, 59, 10, 118, 97, 114, 32, 97, 102, 61, 108,
91, 97, 101, 93, 59, 10, 83, 61, 76, 40, 97, 102, 44, 97, 99, 41, 59, 10, 125,
119, 104, 105, 108, 101, 40, 83, 62, 48, 41, 59, 10, 108, 91, 113, 93, 61, 108,
91, 97, 101, 93, 59, 10, 108, 91, 97, 101, 93, 61, 80, 59, 10, 105, 102, 40, 83,
60, 48, 41, 123, 10, 80, 61, 108, 91, 113, 93, 59, 10, 108, 91, 113, 93, 61,
108, 91, 97, 100, 93, 59, 10, 108, 91, 97, 100, 93, 61, 80, 59, 10, 97, 100, 43,
43, 59, 10, 125, 10, 125, 10, 125, 10, 105, 102, 40, 79, 45, 97, 101, 60, 97,
100, 45, 78, 41, 123, 10, 81, 117, 105, 99, 107, 83, 111, 114, 116, 40, 108, 44,
97, 101, 44, 79, 41, 59, 10, 79, 61, 97, 100, 59, 10, 125, 101, 108, 115, 101,
123, 10, 81, 117, 105, 99, 107, 83, 111, 114, 116, 40, 108, 44, 78, 44, 97, 100,
41, 59, 10, 78, 61, 97, 101, 59, 10, 125, 10, 125, 10, 125, 59, 10, 105, 102,
40, 106, 60, 50, 41, 114, 101, 116, 117, 114, 110, 32, 105, 59, 10, 118, 97,
114, 32, 97, 103, 61, 37, 80, 114, 101, 112, 97, 114, 101, 69, 108, 101, 109,
101, 110, 116, 115, 70, 111, 114, 83, 111, 114, 116, 40, 105, 44, 106, 41, 59,
10, 81, 117, 105, 99, 107, 83, 111, 114, 116, 40, 105, 44, 48, 44, 97, 103, 41,
59, 10, 114, 101, 116, 117, 114, 110, 32, 105, 59, 10, 125, 10, 118, 97, 114,
32, 97, 104, 61, 123, 10, 95, 95, 112, 114, 111, 116, 111, 95, 95, 58, 110, 117,
108, 108, 44, 10, 99, 111, 112, 121, 87, 105, 116, 104, 105, 110, 58, 116, 114,
117, 101, 44, 10, 101, 110, 116, 114, 105, 101, 115, 58, 116, 114, 117, 101, 44,
10, 102, 105, 108, 108, 58, 116, 114, 117, 101, 44, 10, 102, 105, 110, 100, 58,
116, 114, 117, 101, 44, 10, 102, 105, 110, 100, 73, 110, 100, 101, 120, 58, 116,
114, 117, 101, 44, 10, 105, 110, 99, 108, 117, 100, 101, 115, 58, 116, 114, 117,
101, 44, 10, 107, 101, 121, 115, 58, 116, 114, 117, 101, 44, 10, 125, 59, 10,
37, 84, 111, 70, 97, 115, 116, 80, 114, 111, 112, 101, 114, 116, 105, 101, 115,
40, 97, 104, 41, 59, 10, 37, 65, 100, 100, 78, 97, 109, 101, 100, 80, 114, 111,
112, 101, 114, 116, 121, 40, 100, 46, 112, 114, 111, 116, 111, 116, 121, 112,
101, 44, 104, 44, 97, 104, 44, 10, 50, 124, 49, 41, 59, 10, 118, 97, 114, 32,
97, 105, 61, 100, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 105, 110,
100, 101, 120, 79, 102, 59, 10, 118, 97, 114, 32, 97, 106, 61, 100, 46, 112,
114, 111, 116, 111, 116, 121, 112, 101, 46, 106, 111, 105, 110, 59, 10, 118, 97,
114, 32, 97, 107, 61, 100, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46,
112, 111, 112, 59, 10, 118, 97, 114, 32, 97, 108, 61, 100, 46, 112, 114, 111,
116, 111, 116, 121, 112, 101, 46, 112, 117, 115, 104, 59, 10, 118, 97, 114, 32,
97, 109, 61, 100, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 115, 108,
105, 99, 101, 59, 10, 118, 97, 114, 32, 97, 110, 61, 100, 46, 112, 114, 111,
116, 111, 116, 121, 112, 101, 46, 115, 104, 105, 102, 116, 59, 10, 118, 97, 114,
32, 97, 111, 61, 100, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 115,
111, 114, 116, 59, 10, 118, 97, 114, 32, 97, 112, 61, 100, 46, 112, 114, 111,
116, 111, 116, 121, 112, 101, 46, 115, 112, 108, 105, 99, 101, 59, 10, 118, 97,
114, 32, 97, 113, 61, 100, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46,
116, 111, 83, 116, 114, 105, 110, 103, 59, 10, 118, 97, 114, 32, 97, 114, 61,
100, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 117, 110, 115, 104,
105, 102, 116, 59, 10, 118, 97, 114, 32, 97, 115, 61, 100, 46, 112, 114, 111,
116, 111, 116, 121, 112, 101, 46, 101, 110, 116, 114, 105, 101, 115, 59, 10,
118, 97, 114, 32, 97, 116, 61, 100, 46, 112, 114, 111, 116, 111, 116, 121, 112,
101, 46, 102, 111, 114, 69, 97, 99, 104, 59, 10, 118, 97, 114, 32, 97, 117, 61,
100, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 107, 101, 121, 115,
59, 10, 118, 97, 114, 32, 97, 118, 61, 100, 46, 112, 114, 111, 116, 111, 116,
121, 112, 101, 91, 103, 93, 59, 10, 98, 46, 83, 101, 116, 85, 112, 76, 111, 99,
107, 101, 100, 80, 114, 111, 116, 111, 116, 121, 112, 101, 40, 101, 44, 100, 40,
41, 44, 91, 10, 34, 105, 110, 100, 101, 120, 79, 102, 34, 44, 97, 105, 44, 10,
34, 106, 111, 105, 110, 34, 44, 97, 106, 44, 10, 34, 112, 111, 112, 34, 44, 97,
107, 44, 10, 34, 112, 117, 115, 104, 34, 44, 97, 108, 44, 10, 34, 115, 104, 105,
102, 116, 34, 44, 97, 110, 44, 10, 34, 115, 111, 114, 116, 34, 44, 97, 111, 44,
10, 34, 115, 112, 108, 105, 99, 101, 34, 44, 97, 112, 10, 93, 41, 59, 10, 98,
46, 83, 101, 116, 85, 112, 76, 111, 99, 107, 101, 100, 80, 114, 111, 116, 111,
116, 121, 112, 101, 40, 99, 46, 73, 110, 116, 101, 114, 110, 97, 108, 80, 97,
99, 107, 101, 100, 65, 114, 114, 97, 121, 44, 100, 40, 41, 44, 91, 10, 34, 112,
117, 115, 104, 34, 44, 97, 108, 44, 10, 34, 112, 111, 112, 34, 44, 97, 107, 44,
10, 34, 115, 104, 105, 102, 116, 34, 44, 97, 110, 44, 10, 34, 117, 110, 115,
104, 105, 102, 116, 34, 44, 97, 114, 44, 10, 34, 115, 112, 108, 105, 99, 101,
34, 44, 97, 112, 44, 10, 34, 115, 108, 105, 99, 101, 34, 44, 97, 109, 10, 93,
41, 59, 10, 98, 46, 69, 120, 112, 111, 114, 116, 40, 102, 117, 110, 99, 116,
105, 111, 110, 40, 79, 41, 123, 10, 79, 46, 65, 114, 114, 97, 121, 74, 111, 105,
110, 61, 97, 106, 59, 10, 79, 46, 65, 114, 114, 97, 121, 80, 117, 115, 104, 61,
97, 108, 59, 10, 79, 46, 65, 114, 114, 97, 121, 84, 111, 83, 116, 114, 105, 110,
103, 61, 97, 113, 59, 10, 79, 46, 65, 114, 114, 97, 121, 86, 97, 108, 117, 101,
115, 61, 97, 118, 59, 10, 79, 46, 73, 110, 110, 101, 114, 65, 114, 114, 97, 121,
74, 111, 105, 110, 61, 73, 110, 110, 101, 114, 65, 114, 114, 97, 121, 74, 111,
105, 110, 59, 10, 79, 46, 73, 110, 110, 101, 114, 65, 114, 114, 97, 121, 84,
111, 76, 111, 99, 97, 108, 101, 83, 116, 114, 105, 110, 103, 61, 73, 110, 110,
101, 114, 65, 114, 114, 97, 121, 84, 111, 76, 111, 99, 97, 108, 101, 83, 116,
114, 105, 110, 103, 59, 10, 125, 41, 59, 10, 37, 73, 110, 115, 116, 97, 108,
108, 84, 111, 67, 111, 110, 116, 101, 120, 116, 40, 91, 10, 34, 97, 114, 114,
97, 121, 95, 101, 110, 116, 114, 105, 101, 115, 95, 105, 116, 101, 114, 97, 116,
111, 114, 34, 44, 97, 115, 44, 10, 34, 97, 114, 114, 97, 121, 95, 102, 111, 114,
95, 101, 97, 99, 104, 95, 105, 116, 101, 114, 97, 116, 111, 114, 34, 44, 97,
116, 44, 10, 34, 97, 114, 114, 97, 121, 95, 107, 101, 121, 115, 95, 105, 116,
101, 114, 97, 116, 111, 114, 34, 44, 97, 117, 44, 10, 34, 97, 114, 114, 97, 121,
95, 118, 97, 108, 117, 101, 115, 95, 105, 116, 101, 114, 97, 116, 111, 114, 34,
44, 97, 118, 44, 10, 93, 41, 59, 10, 125, 41, 59, 10, 10, 10, 40, 102, 117, 110,
99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 34, 117, 115, 101, 32, 115,
116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104, 101, 99, 107, 73, 115, 66, 111,
111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103, 40, 41, 59, 10, 118, 97,
114, 32, 99, 61, 98, 46, 73, 109, 112, 111, 114, 116, 78, 111, 119, 40, 34, 65,
114, 114, 97, 121, 84, 111, 83, 116, 114, 105, 110, 103, 34, 41, 59, 10, 118,
97, 114, 32, 100, 59, 10, 118, 97, 114, 32, 101, 59, 10, 118, 97, 114, 32, 102,
61, 97, 46, 85, 105, 110, 116, 56, 65, 114, 114, 97, 121, 59, 10, 10, 118, 97,
114, 32, 103, 61, 97, 46, 73, 110, 116, 56, 65, 114, 114, 97, 121, 59, 10, 10,
118, 97, 114, 32, 104, 61, 97, 46, 85, 105, 110, 116, 49, 54, 65, 114, 114, 97,
121, 59, 10, 10, 118, 97, 114, 32, 105, 61, 97, 46, 73, 110, 116, 49, 54, 65,
114, 114, 97, 121, 59, 10, 10, 118, 97, 114, 32, 106, 61, 97, 46, 85, 105, 110,
116, 51, 50, 65, 114, 114, 97, 121, 59, 10, 10, 118, 97, 114, 32, 107, 61, 97,
46, 73, 110, 116, 51, 50, 65, 114, 114, 97, 121, 59, 10, 10, 118, 97, 114, 32,
108, 61, 97, 46, 70, 108, 111, 97, 116, 51, 50, 65, 114, 114, 97, 121, 59, 10,
10, 118, 97, 114, 32, 109, 61, 97, 46, 70, 108, 111, 97, 116, 54, 52, 65, 114,
114, 97, 121, 59, 10, 10, 118, 97, 114, 32, 110, 61, 97, 46, 85, 105, 110, 116,
56, 67, 108, 97, 109, 112, 101, 100, 65, 114, 114, 97, 121, 59, 10, 10, 118, 97,
114, 32, 111, 61, 97, 46, 66, 105, 103, 85, 105, 110, 116, 54, 52, 65, 114, 114,
97, 121, 59, 10, 10, 118, 97, 114, 32, 112, 61, 97, 46, 66, 105, 103, 73, 110,
116, 54, 52, 65, 114, 114, 97, 121, 59, 10, 10, 10, 118, 97, 114, 32, 113, 61,
37, 111, 98, 106, 101, 99, 116, 95, 103, 101, 116, 95, 112, 114, 111, 116, 111,
116, 121, 112, 101, 95, 111, 102, 40, 102, 41, 59, 10, 98, 46, 73, 109, 112,
111, 114, 116, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 114, 41, 123, 10,
100, 61, 114, 46, 73, 110, 110, 101, 114, 65, 114, 114, 97, 121, 74, 111, 105,
110, 59, 10, 101, 61, 114, 46, 73, 110, 110, 101, 114, 65, 114, 114, 97, 121,
84, 111, 76, 111, 99, 97, 108, 101, 83, 116, 114, 105, 110, 103, 59, 10, 125,
41, 59, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 86, 97, 108, 105, 100,
97, 116, 101, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40, 115, 44, 116,
41, 123, 10, 105, 102, 40, 33, 40, 37, 95, 73, 115, 84, 121, 112, 101, 100, 65,
114, 114, 97, 121, 40, 115, 41, 41, 10, 41, 116, 104, 114, 111, 119, 32, 37,
109, 97, 107, 101, 95, 116, 121, 112, 101, 95, 101, 114, 114, 111, 114, 40, 57,
57, 41, 59, 10, 105, 102, 40, 37, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101,
114, 86, 105, 101, 119, 87, 97, 115, 78, 101, 117, 116, 101, 114, 101, 100, 40,
115, 41, 41, 10, 116, 104, 114, 111, 119, 32, 37, 109, 97, 107, 101, 95, 116,
121, 112, 101, 95, 101, 114, 114, 111, 114, 40, 53, 48, 44, 116, 41, 59, 10,
125, 10, 37, 68, 101, 102, 105, 110, 101, 77, 101, 116, 104, 111, 100, 115, 73,
110, 116, 101, 114, 110, 97, 108, 40, 113, 46, 112, 114, 111, 116, 111, 116,
121, 112, 101, 44, 99, 108, 97, 115, 115, 123, 116, 111, 76, 111, 99, 97, 108,
101, 83, 116, 114, 105, 110, 103, 40, 41, 123, 10, 86, 97, 108, 105, 100, 97,
116, 101, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40, 116, 104, 105, 115,
44, 34, 37, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 37, 46, 112, 114,
111, 116, 111, 116, 121, 112, 101, 46, 116, 111, 76, 111, 99, 97, 108, 101, 83,
116, 114, 105, 110, 103, 34, 41, 59, 10, 118, 97, 114, 32, 117, 61, 97, 114,
103, 117, 109, 101, 110, 116, 115, 91, 48, 93, 59, 10, 118, 97, 114, 32, 118,
61, 97, 114, 103, 117, 109, 101, 110, 116, 115, 91, 49, 93, 59, 10, 118, 97,
114, 32, 119, 61, 37, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 71, 101,
116, 76, 101, 110, 103, 116, 104, 40, 116, 104, 105, 115, 41, 59, 10, 114, 101,
116, 117, 114, 110, 32, 101, 40, 116, 104, 105, 115, 44, 119, 44, 117, 44, 118,
41, 59, 10, 125, 125, 44, 45, 49, 41, 59, 10, 37, 68, 101, 102, 105, 110, 101,
77, 101, 116, 104, 111, 100, 115, 73, 110, 116, 101, 114, 110, 97, 108, 40, 113,
46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 44, 99, 108, 97, 115, 115, 123,
106, 111, 105, 110, 40, 115, 101, 112, 97, 114, 97, 116, 111, 114, 41, 123, 10,
86, 97, 108, 105, 100, 97, 116, 101, 84, 121, 112, 101, 100, 65, 114, 114, 97,
121, 40, 116, 104, 105, 115, 44, 34, 37, 84, 121, 112, 101, 100, 65, 114, 114,
97, 121, 37, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 106, 111, 105,
110, 34, 41, 59, 10, 118, 97, 114, 32, 119, 61, 37, 84, 121, 112, 101, 100, 65,
114, 114, 97, 121, 71, 101, 116, 76, 101, 110, 103, 116, 104, 40, 116, 104, 105,
115, 41, 59, 10, 114, 101, 116, 117, 114, 110, 32, 100, 40, 115, 101, 112, 97,
114, 97, 116, 111, 114, 44, 116, 104, 105, 115, 44, 119, 41, 59, 10, 125, 125,
44, 45, 49, 41, 59, 10, 37, 65, 100, 100, 78, 97, 109, 101, 100, 80, 114, 111,
112, 101, 114, 116, 121, 40, 113, 46, 112, 114, 111, 116, 111, 116, 121, 112,
101, 44, 34, 116, 111, 83, 116, 114, 105, 110, 103, 34, 44, 99, 44, 10, 50, 41,
59, 10, 125, 41, 10, 10 };

  template <>
  int NativesCollection<CORE>::GetBuiltinsCount() {
    return 3;
  }

  template <>
  int NativesCollection<CORE>::GetDebuggerCount() {
    return 0;
  }

  template <>
  int NativesCollection<CORE>::GetIndex(const char* name) {
    if (strcmp(name, "prologue") == 0) return 0;
    if (strcmp(name, "array") == 0) return 1;
    if (strcmp(name, "typedarray") == 0) return 2;
    return -1;
  }

  template <>
  Vector<const char> NativesCollection<CORE>::GetScriptSource(int index) {
    if (index == 0) return Vector<const char>(sources + 0, 2055);
    if (index == 1) return Vector<const char>(sources + 2055, 5460);
    if (index == 2) return Vector<const char>(sources + 7515, 1087);
    return Vector<const char>("", 0);
  }

  template <>
  Vector<const char> NativesCollection<CORE>::GetScriptName(int index) {
    if (index == 0) return Vector<const char>("native prologue.js", 18);
    if (index == 1) return Vector<const char>("native array.js", 15);
    if (index == 2) return Vector<const char>("native typedarray.js", 20);
    return Vector<const char>("", 0);
  }

  template <>
  Vector<const char> NativesCollection<CORE>::GetScriptsSource() {
    return Vector<const char>(sources, 8602);
  }
}  // internal
}  // v8
